Behavior specification in a software design system

A technique for software system behavior specification appropriate for use in designing systems with concurrency is presented. The technique is based upon a generalized ability to define events, or significant occurrences in a software system, and then indicate whatever constraints the designer might wish to see imposed upon the ordering or simultaneity of those events. Constructs implementing this technique in the DREAM software design system are presented and illustrated. The relationship of this technique to other behavior specification techniques is also discussed.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/25196/1/0000635.pd

Dynamic Conduction and Repolarisation Changes in Early Arrhythmogenic Right Ventricular Cardiomyopathy versus Benign Outflow Tract Ectopy Demonstrated by High Density Mapping and Paced Surface ECG Analysis

Aims: The concealed phase of arrhythmogenic right ventricular cardiomyopathy (ARVC) may initially manifest electrophysiologically. No studies have examined dynamic conduction/repolarization kinetics to distinguish benign right ventricular outflow tract ectopy (RVOT ectopy) from ARVC's early phase. We investigated dynamic endocardial electrophysiological changes that differentiate early ARVC disease expression from RVOT ectopy. Methods: 22 ARVC (12 definite based upon family history and mutation carrier status, 10 probable) patients without right ventricular structural anomalies underwent high-density non-contact mapping of the right ventricle. These were compared to data from 14 RVOT ectopy and 12 patients with supraventricular tachycardias and normal hearts. Endocardial & surface ECG conduction and repolarization parameters were assessed during a standard S1-S2 restitution protocol. Results: Definite ARVC without RV structural disease could not be clearly distinguished from RVOT ectopy during sinus rhythm or during steady state pacing. Delay in Activation Times at coupling intervals just above the ventricular effective refractory period (VERP) increased in definite ARVC (43±20 ms) more than RVOT ectopy patients (36±14 ms, p = 0.03) or Normals (25±16 ms, p = 0.008) and a progressive separation of the repolarisation time curves between groups existed. Repolarization time increases in the RVOT were also greatest in ARVC (definite ARVC: 18±20 ms; RVOT ectopy: 5±14, Normal: 1±18, p<0.05). Surface ECG correlates of these intracardiac measurements demonstrated an increase of greater than 48 ms in stimulus to surface ECG J-point pre-ERP versus steady state, with an 88% specificity and 68% sensitivity in distinguishing definite ARVC from the other groups. This technique could not distinguish patients with genetic predisposition to ARVC only (probable ARVC) from controls. Conclusions: Significant changes in dynamic conduction and repolarization are apparent in early ARVC before detectable RV structural abnormalities, and were present to a lesser degree in probable ARVC patients. Investigation of dynamic electrophysiological parameters may be useful to identify concealed ARVC in patients without disease pedigrees by using endocardial electrogram or paced ECG parameters

Education then and now: making the case for ecol-agogy

The processes, settings and outcomes of human education have distinctive impact on the human and non-human world: this paper sets out to discuss what may have motivated the initiation of human education, how it has been maintained why the outcome has wide-ranging, and often negative, planetary impact. The analysis offers a multi-disciplinary account of education, from pre-history to the present, noting that humans, past and present are born into an ‘open world’ that requires world building or, niche construction. As a result, cultural and genetic evolution are out of synchronisation instigating an existential threat and the anxious experience of ‘adaptive-lag’ leading to the motive for continued niche construction. Education is presented as a particular type of niche construction requiring teachers and the use of symbolic verbal language to help learners move from simplistic ‘split’ thinking to the more mature position where the needs of self and others can be met

Factors affecting awareness of emergency contraception among college students in Kathmandu, Nepal

<p>Abstract</p> <p>Background</p> <p>In Nepal, Emergency Contraception (EC) could play a critical role in reducing unintended pregnancies, but very few people aware about it. This paper aims to investigate the level of awareness and factors influencing awareness of EC among college students.</p> <p>Methods</p> <p>A cross-sectional study was carried out in April-May 2006. Structured self-administered questionnaires were administered to 1,137 college students (573 males and 564 females) in Kathmandu valley. The association between awareness of EC and the explanatory variables were first assessed in bivariate analysis using the Chi-square test. The associations were further explored using a multivariate logistic analysis.</p> <p>Results</p> <p>Only about two-thirds of college students (68%) had ever heard about EC. Bivariate analysis shows that males were more aware (72%) of EC than were females (64%). Similarly, the awareness level was significantly higher among younger, unmarried youth who were from outside Kathmandu Valley, who lived with friends, and who had received reproductive health (RH) education in school/college. The study also found that students' sex, permanent place of residence (district), and RH education are significant predictors of awareness of EC. Males are 1.5 times more likely to be aware of EC compared to females. Furthermore, students who lived in Kathmandu Valley were 41% less likely to be aware of EC than were students from outside Kathmandu Valley. On the other hand, those students who received RH education in school/college were almost nine times more likely to be aware of EC compared to those who did not receive such education.</p> <p>Conclusion</p> <p>Awareness of the EC is low among college students in Nepal. Health education initiatives should target students as they are more likely to be sexually active. There is a need to further educate students about EC which can help to reduce unintended pregnancies, many of which result in unsafe abortion and take a large toll on women's health.</p

Targeting Angiogenesis-Dependent Calcified Neoplasms Using Combined Polymer Therapeutics

There is an immense clinical need for novel therapeutics for the treatment of angiogenesis-dependent calcified neoplasms such as osteosarcomas and bone metastases. We developed a new therapeutic strategy to target bone metastases and calcified neoplasms using combined polymer-bound angiogenesis inhibitors. Using an advanced "living polymerization" technique, the reversible addition-fragmentation chain transfer (RAFT), we conjugated the aminobisphosphonate alendronate (ALN), and the potent anti-angiogenic agent TNP-470 with N-(2-hydroxypropyl)methacrylamide (HPMA) copolymer through a Glycine-Glycine-Proline-Norleucine linker, cleaved by cathepsin K, a cysteine protease overexpressed at resorption sites in bone tissues. In this approach, dual targeting is achieved. Passive accumulation is possible due to the increase in molecular weight following polymer conjugation of the drugs, thus extravasating from the tumor leaky vessels and not from normal healthy vessels. Active targeting to the calcified tissues is achieved by ALN's affinity to bone mineral.The anti-angiogenic and antitumor potency of HPMA copolymer-ALN-TNP-470 conjugate was evaluated both in vitro and in vivo. We show that free and conjugated ALN-TNP-470 have synergistic anti-angiogenic and antitumor activity by inhibiting proliferation, migration and capillary-like tube formation of endothelial and human osteosarcoma cells in vitro. Evaluation of anti-angiogenic, antitumor activity and body distribution of HPMA copolymer-ALN-TNP-470 conjugate was performed on severe combined immunodeficiency (SCID) male mice inoculated with mCherry-labeled MG-63-Ras human osteosarcoma and by modified Miles permeability assay. Our targeted bi-specific conjugate reduced VEGF-induced vascular hyperpermeability by 92% and remarkably inhibited osteosarcoma growth in mice by 96%.This is the first report to describe a new concept of a narrowly-dispersed combined polymer therapeutic designed to target both tumor and endothelial compartments of bone metastases and calcified neoplasms at a single administration. This new approach of co-delivery of two synergistic drugs may have clinical utility as a potential therapy for angiogenesis-dependent cancers such as osteosarcoma and bone metastases

What Do We Know About Contracting Out in the United States? Evidence from Household and Establishment Surveys

A variety of evidence points to significant growth in domestic contracting out over the last two decades, yet the phenomenon is not well documented. In this paper, we pull together data from various sources to shed light on the extent of and trends in domestic outsourcing, the occupations in which it has grown, and the industries engaging in outsourcing for the employment services sector, which has been a particularly important area of domestic outsourcing. In addition, we examine evidence of contracting out of selected occupations to other sectors. We point to many gaps in our knowledge on trends in domestic outsourcing and its implications for employment patterns and to inconsistencies across data sets in the information that is available. We recommend steps to improve data in this area

Risk of venous thromboembolism after total hip and knee replacement in older adults with comorbidity and co-occurring comorbidities in the Nationwide Inpatient Sample (2003-2006)

<p>Abstract</p> <p>Background</p> <p>Venous thromboembolism is a common, fatal, and costly injury which complicates major surgery in older adults. The American College of Chest Physicians recommends high potency prophylaxis regimens for individuals undergoing total hip or knee replacement (THR or TKR), but surgeons are reluctant to prescribe them due to fear of excess bleeding. Identifying a high risk cohort such as older adults with comorbidities and co-occurring comorbidities who might benefit most from high potency prophylaxis would improve how we currently perform preoperative assessment.</p> <p>Methods</p> <p>Using the Nationwide Inpatient Sample, we identified older adults who underwent THR or TKR in the U.S. between 2003 and 2006. Our outcome was VTE, including any pulmonary embolus or deep venous thrombosis. We performed multivariate logistic regression analyses to assess the effects of comorbidities on VTE occurrence. Comorbidities under consideration included coronary artery disease, congestive heart failure (CHF), chronic obstructive pulmonary disease (COPD), diabetes, and cerebrovascular disease. We also examined the impact of co-occurring comorbidities on VTE rates.</p> <p>Results</p> <p>CHF increased odds of VTE in both the THR cohort (OR = 3.08 95% CI 2.05-4.65) and TKR cohort (OR = 2.47 95% CI 1.95-3.14). COPD led to a 50% increase in odds in the TKR cohort (OR = 1.49 95% CI 1.31-1.70). The data did not support synergistic effect of co-occurring comorbidities with respect to VTE occurrence.</p> <p>Conclusions</p> <p>Older adults with CHF undergoing THR or TKR and with COPD undergoing TKR are at increased risk of VTE. If confirmed in other datasets, these older adults may benefit from higher potency prophylaxis.</p

An Introspective Comparison of Random Forest-Based Classifiers for the Analysis of Cluster-Correlated Data by Way of RF++

Many mass spectrometry-based studies, as well as other biological experiments produce cluster-correlated data. Failure to account for correlation among observations may result in a classification algorithm overfitting the training data and producing overoptimistic estimated error rates and may make subsequent classifications unreliable. Current common practice for dealing with replicated data is to average each subject replicate sample set, reducing the dataset size and incurring loss of information. In this manuscript we compare three approaches to dealing with cluster-correlated data: unmodified Breiman's Random Forest (URF), forest grown using subject-level averages (SLA), and RF++ with subject-level bootstrapping (SLB). RF++, a novel Random Forest-based algorithm implemented in C++, handles cluster-correlated data through a modification of the original resampling algorithm and accommodates subject-level classification. Subject-level bootstrapping is an alternative sampling method that obviates the need to average or otherwise reduce each set of replicates to a single independent sample. Our experiments show nearly identical median classification and variable selection accuracy for SLB forests and URF forests when applied to both simulated and real datasets. However, the run-time estimated error rate was severely underestimated for URF forests. Predictably, SLA forests were found to be more severely affected by the reduction in sample size which led to poorer classification and variable selection accuracy. Perhaps most importantly our results suggest that it is reasonable to utilize URF for the analysis of cluster-correlated data. Two caveats should be noted: first, correct classification error rates must be obtained using a separate test dataset, and second, an additional post-processing step is required to obtain subject-level classifications. RF++ is shown to be an effective alternative for classifying both clustered and non-clustered data. Source code and stand-alone compiled versions of command-line and easy-to-use graphical user interface (GUI) versions of RF++ for Windows and Linux as well as a user manual (Supplementary File S2) are available for download at: http://sourceforge.org/projects/rfpp/ under the GNU public license